Proposizio baten egiazkotasuna ebazteko erabiltzen diren balioetako bakoitza. Logika klasikoan, bi besterik ez dira: egiazkoa (E edo 1) eta faltsua (F edo 0). Logika lausoan, egia-balio gehiago erabiltzen dira.